Search results for "Object-oriented programming"
showing 10 items of 282 documents
Ammonoids and quantitative biochronology - A unitary association perspective
2015
Ammonoid evolutionary changes have long been recognized to be excellent time markers. They are the major macrofossil group to date and correlate Paleozoic and Mesozoic marine strata. Originations and extinctions of ammonoid species are commonly used to define GSSPs and build high resolution biozonations. Biochronology is now an advanced field with the recent development of computerized, quantitative methods yielding robust biochronological schemes. It has been demonstrated that such quantitative biochronological methods are very efficient to resolve (often complex) biostratigraphic contradictions and produce accurate and high resolution biozonations, thus enabling precise dating and correla…
Specimens at the Center: An Informatics Workflow and Toolkit for Specimen-level analysis of Public DNA database data
2016
Pham, Kasey K. [et al.]
100‐million‐year‐old ant–conifer associates inside French amber: a fortuitous or ecological association?
2020
International audience; Ants exhibit a plethora of ecological interactions with terrestrial plants. These interactions are broadly surveyed in modern ecosystems, but are much more difficult to unveil in the fossil record. Here, we report a unique ant–conifer association preserved in an opaque piece of 100‐million‐year‐old amber from Charentes in Western France, revealed by propagation phase‐contrast X‐ray synchrotron microtomography (PPC‐SRμCT). Most legs of the ant encircle the conifer twig, and the arthropod harbours a hooked position onto the leafy axis. The conifer is assigned to Glenrosa carentonensis Moreau, Néraudeau, Tafforeau and Dépré, whereas the ant is ascribed to Gerontoformica…
Classification of the European marsh vegetation (Phragmito‐Magnocaricetea) to the association level
2020
Aims: To create a comprehensive, consistent and unequivocal phytosociological classification of European marsh vegetation of the class Phragmito-Magnocaricetea. Location: Europe. Methods: We applied the Cocktail method to a European data set of 249, 800 vegetation plots. We identified the main purposes and attributes on which to base the classification, defined assignment rules for vegetation plots, and prepared formal definitions for all the associations, alliances and orders of the class Phragmito-Magnocaricetea using formal logic. Each formula consists of the combination of “functional species groups”, cover values of individual species, and in the case of high-rank syntaxa also of “disc…
Moderated Redactable Blockchains: A Definitional Framework with an Efficient Construct
2020
Blockchain is a multiparty protocol to reach agreement on the order of events, and to record them consistently and immutably without centralized trust. In some cases, however, the blockchain can benefit from some controlled mutability. Examples include removing private information or unlawful content, and correcting protocol vulnerabilities which would otherwise require a hard fork. Two approaches to control the mutability are: moderation, where one or more designated administrators can use their private keys to approve a redaction, and voting, where miners can vote to endorse a suggested redaction. In this paper, we first present several attacks against existing redactable blockchain solut…
Migration process of the PEPPOL network from the AS2 to the AS4 protocol according to the European guidelines
2020
The PEPPOL network (PAN-European Public Procurement Online) is migrating from the AS2 to the AS4 protocol according to the guidelines established by the eDelivery platform of the CEF program (Connecting Europe Facility) of the European Commission. This article describes the bases of this migration process, the current status and the next necessary actions for the year 2020. The main objective is to present the analysis of results on the evolution and impact of the adoption of the AS4 protocol by the PEPPOL Access Points in all Europe until 2019.
Robust Network Agreement on Logical Information
2011
Abstract Logical consensus is an approach to distributed decision making which is based on the availability of a network of agents with incomplete system knowledge. The method requires the construction of a Boolean map which defines a dynamic system allowing the entire network to consent on a unique, global decision. Previous work by the authors proved the method to be viable for applications such as intrusion detection within a structured environment, when the agent's communication topology is known in advance. The current work aims at providing a fully distributed protocol, requiring no a priori knowledge of each agent's communication neighbors. The protocol allows the construction of a r…
Security Assessment of a Distributed, Modbus-based Building Automation System
2017
Building automation systems were designed in an era when security was not a concern as the systems were closed from outside access. However, multiple benefits can be found in connecting such systems over the Internet and controlling a number of buildings from a single location. Security breaches towards building automation systems are increasing and may cause direct or indirect damages to the target organization or even the residents of the building. This work presents an approach to apply a method of data flow recognition and environment analysis to building automation through a case study on a distributed building automation system utilizing the Modbus protocol at the sites and presents s…
Decorous combinatorial lower bounds for row layout problems
2020
Abstract In this paper we consider the Double-Row Facility Layout Problem (DRFLP). Given a set of departments and pairwise transport weights between them the DRFLP asks for a non-overlapping arrangement of the departments along both sides of a common path such that the weighted sum of the center-to-center distances between the departments is minimized. Despite its broad applicability in factory planning, only small instances can be solved to optimality in reasonable time. Apart from this even deriving good lower bounds using existing integer programming formulations and branch-and-cut methods is a challenging problem. We focus here on deriving combinatorial lower bounds which can be compute…
PS02.010: ESTABLISHMENT OF THE UPPER GI INTERNATIONAL ROBOTIC ASSOCIATION (UGIRA)
2018
Abstract Background Robot-assisted surgery is increasingly performed for both benign and malignant upper gastro-intestinal disease. However, no global consensus exists regarding exact techniques and implementation methods of robotic esophageal and gastric surgery. To facilitate the effective implementation and advancement of these procedures, evidence based guidelines should be generated. In this context, the ‘Upper GI International Robotic Association’ (UGIRA) was established in 2017. Until now, 20 experienced robotic surgeons from 10 different countries in Europe (The Netherlands, Germany, United Kingdom, Denmark), Asia (Japan, Hong Kong, North-Korea, Taiwan), North-America (United States…